Control Relevant Identi cation for H 1 - norm based Performance Speci cations
نویسندگان
چکیده
For consecutive model-based control design, approximate identication of linear models should be performed on the basis of a feedback-relevant criterion, compatible with the control design. For an H1-norm based control design, a procedure is presented to estimate a possibly unstable and feedback controlled plant by using an H1-norm based feedback-relevant identi cation criterion. It is shown that the formulated identi cation problem can be handled by taking (noisy) closed loop frequency domain measurements of the plant and tting a model of a prespeci ed McMillan degree, which is parametrized in a stable factorization, using a certain non{linear constrained minimization. The procedure is illustrated by an example.
منابع مشابه
Control Relevant Identiication for H 1 -norm Based Per- Formance Speciications Z
For consecutive model based control design approximate identi cation of lin ear models should be performed on the basis of a feedback relevant criterion compatible with the control design For an H norm based control design a procedure is presented to estimate a possibly unstable and feedback controlled plant by using an H norm based feedback relevant identi cation criterion It is shown that the...
متن کاملSymbolic Functional Vector Generation for VHDL Speci cations
Veri cation of the functional correctness of VHDL speci cations is one of the primary and most time consuming task of design. However, it must necessarily be an incomplete task since it is impossible to completely exercise the speci cation by exhaustively applying all input patterns. The paper aims at presenting a two-step strategy based on symbolic analysis of the VHDL speci cation, using a be...
متن کاملRestructuring Requirements Speci cations for Analysis and Change Management
This paper describes our experiences in restructuring multi-perspective requirements speci cations in order to facilitate the identi cation and analysis of inconsistencies and management of change. A partial, heterogeneous and reasonably large requirements speci cation from a NASA project was analysed and decomposed into a structure of \viewpoints", where each viewpoint encapsulates partial req...
متن کاملModel Checking Large Software Speci cations
In this paper we present our results and experiences of using symbolic model checking to study the speci cation of an aircraft collision avoidance system. Symbolic model checking has been highly successful when applied to hardware systems. We are interested in the question of whether or not model checking techniques can be applied to large software speci cations. To investigate this, we transla...
متن کاملObserver/Kalman Filter Identi cation for Online System Identi cation of Aircraft
The observer/Kalman lter identi cation method is applied to the problem of online system identi cation of accurate, locally linear, aircraft dynamicmodelsof nonlinearaircraft. It is a time-domaintechnique that identi es a discrete input–outputmapping from known input and outputdata samples,withoutuser imposed a priori assumptions aboutmodel structure or model order. The basic formulation o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995